module Q.IR.Surface where

import Q.IR.Common
--import qualified Q.IR.Core as Core

data Expr
  = EInt Int
  | EBool Bool
  | EVar Id
  | ECall Id [Expr]
  | ELet Id Expr Expr
  | EIf Expr Expr Expr
  deriving (Show)
